Skip to main content

Equivalence-Checking on Infinite-State Systems: Techniques and Results

Item Preview

SIMILAR ITEMS (based on metadata)